Integrand size = 21, antiderivative size = 32 \[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=-\frac {(a+b) \csc ^2(e+f x)}{2 f}-\frac {a \log (\sin (e+f x))}{f} \]
[Out]
Time = 0.06 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {4223, 455, 45} \[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=-\frac {(a+b) \csc ^2(e+f x)}{2 f}-\frac {a \log (\sin (e+f x))}{f} \]
[In]
[Out]
Rule 45
Rule 455
Rule 4223
Rubi steps \begin{align*} \text {integral}& = -\frac {\text {Subst}\left (\int \frac {x \left (b+a x^2\right )}{\left (1-x^2\right )^2} \, dx,x,\cos (e+f x)\right )}{f} \\ & = -\frac {\text {Subst}\left (\int \frac {b+a x}{(1-x)^2} \, dx,x,\cos ^2(e+f x)\right )}{2 f} \\ & = -\frac {\text {Subst}\left (\int \left (\frac {a+b}{(-1+x)^2}+\frac {a}{-1+x}\right ) \, dx,x,\cos ^2(e+f x)\right )}{2 f} \\ & = -\frac {(a+b) \csc ^2(e+f x)}{2 f}-\frac {a \log (\sin (e+f x))}{f} \\ \end{align*}
Time = 0.18 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.62 \[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=-\frac {b \csc ^2(e+f x)}{2 f}-\frac {a \left (\cot ^2(e+f x)+2 \log (\cos (e+f x))+2 \log (\tan (e+f x))\right )}{2 f} \]
[In]
[Out]
Time = 0.58 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.22
method | result | size |
derivativedivides | \(\frac {a \left (-\frac {\cot \left (f x +e \right )^{2}}{2}-\ln \left (\sin \left (f x +e \right )\right )\right )-\frac {b}{2 \sin \left (f x +e \right )^{2}}}{f}\) | \(39\) |
default | \(\frac {a \left (-\frac {\cot \left (f x +e \right )^{2}}{2}-\ln \left (\sin \left (f x +e \right )\right )\right )-\frac {b}{2 \sin \left (f x +e \right )^{2}}}{f}\) | \(39\) |
risch | \(i a x +\frac {2 i a e}{f}+\frac {2 \left (a +b \right ) {\mathrm e}^{2 i \left (f x +e \right )}}{f \left ({\mathrm e}^{2 i \left (f x +e \right )}-1\right )^{2}}-\frac {\ln \left ({\mathrm e}^{2 i \left (f x +e \right )}-1\right ) a}{f}\) | \(63\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.56 \[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=-\frac {2 \, {\left (a \cos \left (f x + e\right )^{2} - a\right )} \log \left (\frac {1}{2} \, \sin \left (f x + e\right )\right ) - a - b}{2 \, {\left (f \cos \left (f x + e\right )^{2} - f\right )}} \]
[In]
[Out]
\[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=\int \left (a + b \sec ^{2}{\left (e + f x \right )}\right ) \cot ^{3}{\left (e + f x \right )}\, dx \]
[In]
[Out]
none
Time = 0.19 (sec) , antiderivative size = 29, normalized size of antiderivative = 0.91 \[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=-\frac {a \log \left (\sin \left (f x + e\right )^{2}\right ) + \frac {a + b}{\sin \left (f x + e\right )^{2}}}{2 \, f} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 146 vs. \(2 (30) = 60\).
Time = 0.31 (sec) , antiderivative size = 146, normalized size of antiderivative = 4.56 \[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=-\frac {4 \, a \log \left (\frac {{\left | -\cos \left (f x + e\right ) + 1 \right |}}{{\left | \cos \left (f x + e\right ) + 1 \right |}}\right ) - 8 \, a \log \left ({\left | -\frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1} + 1 \right |}\right ) - \frac {{\left (a + b + \frac {4 \, a {\left (\cos \left (f x + e\right ) - 1\right )}}{\cos \left (f x + e\right ) + 1}\right )} {\left (\cos \left (f x + e\right ) + 1\right )}}{\cos \left (f x + e\right ) - 1} - \frac {a {\left (\cos \left (f x + e\right ) - 1\right )}}{\cos \left (f x + e\right ) + 1} - \frac {b {\left (\cos \left (f x + e\right ) - 1\right )}}{\cos \left (f x + e\right ) + 1}}{8 \, f} \]
[In]
[Out]
Time = 19.27 (sec) , antiderivative size = 51, normalized size of antiderivative = 1.59 \[ \int \cot ^3(e+f x) \left (a+b \sec ^2(e+f x)\right ) \, dx=\frac {a\,\ln \left ({\mathrm {tan}\left (e+f\,x\right )}^2+1\right )}{2\,f}-\frac {a\,\ln \left (\mathrm {tan}\left (e+f\,x\right )\right )}{f}-\frac {{\mathrm {cot}\left (e+f\,x\right )}^2\,\left (\frac {a}{2}+\frac {b}{2}\right )}{f} \]
[In]
[Out]